181. Model theory and topoi : a collection of lectures by various authors
پدیدآورنده : edited by F. W. Lowvere, C. Maurer and G. C. Wraith
کتابخانه: (طهران)
موضوع : ، Model theory,، Toposes
رده :
QA
3
.
L28
Vol
.
445
182. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
183. Model theory for infinitely deep languages /
پدیدآورنده : Maaret Karttunen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Infinitary languages.,Model theory.
رده :
QA1
.
S96
no
.
50
184. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده : / H. Jerome Keisler
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Infinitary languages,Model theory
رده :
511
.
3
K27
185. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
186. Model theory in algebra, analysis and arithmetic
پدیدآورنده : Dries, Lou Van den.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Model theory in algebra,,، analysis and arithmetic
رده :
QA
3
.
M63
2014
187. Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
کتابخانه: (طهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
834
188. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
834
189. Model theory of algebra and arithmetic: proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
no
.
834
190. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Model theory
رده :
QA
1
.
L4
v
.
834
191. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
کتابخانه: (طهران)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
C6
1979
192. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
پدیدآورنده : edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
193. Model theory of fields
پدیدآورنده : Marker, David, 8591-
کتابخانه: (طهران)
موضوع : ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
194. Model theory of fields
پدیدآورنده : Marker, David, 8591-
کتابخانه: (طهران)
موضوع : ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
2006
195. Model theory of groups and automorphism groups : Blaubeuren, August 1995
پدیدآورنده : edited by David M. Evans
کتابخانه: (طهران)
موضوع : Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
196. Model theory of modules, algebras and categories :
پدیدآورنده : Alberto Facchini [and three others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Congresses.,Modules (Algebra), Congresses.,Algebra.,Associative rings and algebras -- Modules, bimodules and ideals -- Free, projective, and flat modules and ideals.,Associative rings and algebras -- Modules, bimodules and ideals -- Structure and classification (except as in 16Gxx), direct sum decomposition, cancellation.,Associative rings and algebras -- Representation theory of rings and algebras -- Representations of quivers and partially ordered sets.,Category theory; homological algebra -- Abelian categories -- Preadditive, additive categories.,Category theory; homological algebra -- Categories with structure -- Monoidal categories (= multiplicative categories), symmetric monoidal categories, braided categories.,Commutative algebra -- Arithmetic rings and other special rings -- Valuation rings.,Commutative algebra -- Homological methods -- Derived categories.,Dynamical systems and ergodic theory -- Ergodic theory -- Entropy and other invariants, isomorphism, classification.,Mathematical logic and foundations -- Model theory -- Model-theoretic algebra.,Modules (Algebra)
رده :
QA247
.
3
.
I5855
2017
197. Model theory of stochastic processes /
پدیدآورنده : by Sergio Fajardo, H. Jerome Keisler
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model theory,Stochastic processes
رده :
QA274
.
F37
2002
198. Model theory of stochastic processes
پدیدآورنده : Fajardo, Sergio
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Stochastic processes,، Model theory
رده :
QA
274
.
F37
2002
199. Model theory of stochastic processes
پدیدآورنده : Fajardo, Sergio, 6591-
کتابخانه: (طهران)
موضوع : ، Stochastic processes,، Model theory
رده :
QA
9
.
A1L44
Vol
.
14
200. Model theory with applications to algebra and analysis
پدیدآورنده : Zoe Chatzidakis ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M639
